CBC Casper
Papers/Specs
Original works by Vlad Zamfir et al.
Formal Verification
LayerX
Runtime Verification
CBC Casper for Eth2's beacon chain
CasperLabs
Yongge Wang (UNC Charlotte)
Presentation
EDCON Toronto Slide 2018.5 (no talk for the whole slides) DEVCON 4 by Vlad Video 2018.10 Article/Tutorials
hackingresear.ch
Implementations
PoC
LayerX's CBC Casper Simulator
EDCON 2019 Hackathon
Clients
Others
History
"consensus-by-bet" "by-block consensus"
RChain